Rational Functional Tester for Java